Mathematical diagram

Results: 216



#Item
171Diagrams / Model checking / Mathematical logic / Algorithm / Applied mathematics / Mathematics / Boolean algebra / Binary decision diagram

Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains Rune Møller Jensen June 2003 CMU-CS[removed]

Add to Reading List

Source URL: reports-archive.adm.cs.cmu.edu

Language: English - Date: 2003-06-20 12:36:37
172Antiparticle / Feynman diagram / Introduction to quantum mechanics / Spin / Photon / Canonical quantization / Propagator / Electron / Quantum electrodynamics / Physics / Quantum field theory / Quantum mechanics

Michaelmas Term, 2006 and[removed]Preprint typeset in JHEP style - HYPER VERSION Quantum Field Theory University of Cambridge Part III Mathematical Tripos

Add to Reading List

Source URL: www.damtp.cam.ac.uk

Language: English - Date: 2013-12-23 13:51:36
173Mathematics / Saddle-node bifurcation / Center manifold / Bifurcation diagram / Hopf bifurcation / Slow manifold / Dynamical system / Pitchfork bifurcation / Crisis / Bifurcation theory / Mathematical analysis / Systems theory

) Bifurcations can cause dynamical systems with slowly varying parameters to transition to far-away attractors. The terms “critical transition” or “tipping point” have been used to describe this situation. Criti

Add to Reading List

Source URL: www.medicine-science.net23.net

Language: English - Date: 2013-02-01 02:06:55
174Science / Communication design / Diagram / Entity-relationship model / Information graphics / Visualization / Activity diagram / Diagrammatic reasoning / Mathematical diagram / Infographics / Diagrams / Visual arts

Cognitive Science Online, Vol.3.2, pp.15-44, 2005 http://cogsci-online.ucsd.edu Theory Pictures as Trails: Diagrams and the Navigation of Theoretical Narratives

Add to Reading List

Source URL: cogsci-online.ucsd.edu

Language: English - Date: 2005-10-13 03:27:20
175Systems engineering / Theoretical computer science / Diagrams / Formal methods / Binary decision diagram / Model checking / Formal verification / Boolean function / Verification / Boolean algebra / Mathematics / Mathematical logic

THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli

Add to Reading List

Source URL: lms.uni-mb.si

Language: English - Date: 2000-08-29 08:41:20
176Mathematical analysis / Polynomials / Stochastic differential equations

AIRPORT DIAGRAM 12

Add to Reading List

Source URL: aeronav.faa.gov

Language: English - Date: 2014-02-27 08:32:29
177Mathematical analysis / Polynomials / Stochastic differential equations

AIRPORT DIAGRAM 12

Add to Reading List

Source URL: aeronav.faa.gov

Language: English
178Heuristics / Binary decision diagram / Boolean algebra / Diagrams / Model checking / Heuristic function / Directed acyclic graph / Heuristic / Mathematical optimization / Mathematics / Graph theory / Operations research

A Survey of Static Variable Ordering Heuristics for Efficient BDD/MDD Construction Sanjay Kulhari

Add to Reading List

Source URL: alumni.cs.ucr.edu

Language: English - Date: 2009-01-06 17:15:24
179Fast Fourier transform / Split-radix FFT algorithm / Butterfly diagram / Discrete Fourier transform / Twiddle factor / Wavelet / Filter bank / Lifting scheme / Fourier transform / Mathematical analysis / Digital signal processing / Fourier analysis

IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 50, NO. 3, MARCH[removed]

Add to Reading List

Source URL: www-ee.uta.edu

Language: English - Date: 2010-12-13 11:39:52
180Crystallography / Digital signal processing / Wavelets / Lattice points / Fourier analysis / Reciprocal lattice / Voronoi diagram / Quincunx matrix / Quincunx / Mathematics / Geometry / Mathematical analysis

112 IEEE SIGNAL PROCESSING LETTERS, VOL. 12, NO. 2, FEBRUARY 2005

Add to Reading List

Source URL: www.ee.cuhk.edu.hk

Language: English - Date: 2008-09-09 05:13:04
UPDATE